(ternary) R preserves P  == x, y, z:T. P(x)  P(y)  R(x,y,z)  P(z) 

latex

---

clarification:

preserved_by2(T;R;P) == x:T. y:T, z:T. P(x)  P(y)  R(x,y,z)  P(z) 

latex

Definitions	x:A. B(x), P  Q
FDL editor aliases	preserved_by2